n (logic) A subfield of
logic and
mathematics consisting of both the mathematical study of logic and the application of this study to other areas of mathematics, exemplified by questions on the
expressive power of
formal logics and the
deductive power of formal proof systems.